Improving the Reliability of Decision-Support Systems for Nuclear Emergency Management by Leveraging Software Design Diversity

This paper introduces a novel method of continuous verification of simulation software used in decision-support systems for nuclear emergency management (DSNE). The proposed approach builds on methods from the field of software reliability engineering, such as N-Version Programming, Recovery Blocks, and Consensus Recovery Blocks. We introduce a new acceptance test for dispersion simulation results and a new voting scheme based on taxonomies of simulation results rather than individual simulation results. The acceptance test and the voter are used in a new scheme, which extends the Consensus Recovery Block method by a database of result taxonomies to support machine-learning. This enables the system to learn how to distinguish correct from incorrect results, with respect to the implemented numerical schemes. Considering that decision-support systems for nuclear emergency management are used in a safety-critical application context, the methods introduced in this paper help improve the reliability of the system and the trustworthiness of the simulation results used by emergency managers in the decision making process. The effectiveness of the approach has been assessed using the atmospheric dispersion forecasts of two test versions of the widely used RODOS DSNE system

HyPaFilter - A versatile hybrid FPGA packet filter

With network traffic rates continuously growing, security systems like firewalls are facing increasing challenges to process incoming packets at line speed without sacrificing protection. Accordingly, specialized hardware firewalls are increasingly used in high-speed environments. Hardware solutions, though, are inherently limited in terms of the complexity of the policies they can implement, often forcing users to choose between throughput and comprehensive analysis. On the contrary, complex rules typically constitute only a small fraction of the rule set. This motivates the combination of massively parallel, yet complexity-limited specialized circuitry with a slower, but semantically powerful software firewall. The key challenge in such a design arises from the dependencies between classification rules due to their relative priorities within the rule set: complex rules requiring software-based processing may be interleaved at arbitrary positions between those where hardware processing is feasible. We therefore discuss approaches for partitioning and transforming rule sets for hybrid packet processing, and propose HyPaFilter, a hybrid classification system based on tailored circuitry on an FPGA as an accelerator for a Linux netfilter firewall. Our evaluation demonstrates 30-fold performance gains in comparison to software-only processing.Horizon 2020 (Grant ID: SSICLOPS project, 644866)This is the author accepted manuscript. The final version is available from the Association for Computing Machinery via http://dx.doi.org/10.1145/2881025.288103

Energy Efficient and Reliable ARQ Scheme (ER-ACK) for Mission Critical M2M/IoT Services

Wireless sensor networks (WSNs) are the main infrastructure for machine to machine (M2M) and Internet of thing (IoT). Since various sophisticated M2M/IoT services have their own quality-of-service (QoS) requirements, reliable data transmission in WSNs is becoming more important. However, WSNs have strict constraints on resources due to the crowded wireless frequency, which results in high collision probability. Therefore a more efficient data delivering scheme that minimizes both the transmission delay and energy consumption is required. This paper proposes energy efficient and reliable data transmission ARQ scheme, called energy efficient and reliable ACK (ER-ACK), to minimize transmission delay and energy consumption at the same time. The proposed scheme has three aspects of advantages compared to the legacy ARQ schemes such as ACK, NACK and implicit-ACK (I-ACK). It consumes smaller energy than ACK, has smaller transmission delay than NACK, and prevents the duplicated retransmission problem of I-ACK. In addition, resource considered reliability (RCR) is suggested to quantify the improvement of the proposed scheme, and mathematical analysis of the transmission delay and energy consumption are also presented. The simulation results show that the ER-ACK scheme achieves high RCR by significantly reducing transmission delay and energy consumption

HyPaFilter+: Enhanced Hybrid Packet Filtering using Hardware Assisted Classification and Header Space Analysis

Firewalls, key components for secured network in- frastructures, are faced with two different kinds of challenges: first, they must be fast enough to classify network packets at line speed, second, their packet processing capabilities should be versatile in order to support complex filtering policies. Unfortu- nately, most existing classification systems do not qualify equally well for both requirements: systems built on special-purpose hardware are fast, but limited in their filtering functionality. In contrast, software filters provide powerful matching semantics, but struggle to meet line speed. This motivates the combination of parallel, yet complexity-limited specialized circuitry with a slower, but versatile software firewall. The key challenge in such a design arises from the dependencies between classification rules due to their relative priorities within the rule set: complex rules requiring software-based processing may be interleaved at arbitrary positions between those where hardware processing is feasible. We therefore discuss approaches for partitioning and transforming rule sets for hybrid packet processing. As a result we propose HyPaFilter+, a hybrid classification system consisting of an FPGA-based hardware matcher and a Linux netfilter firewall, which provides a simple, yet effective hardware/software packet shunting algorithm. Our evaluation shows up to 30-fold throughput gains over software packet processing.We would like to acknowledge the support of the German Federal Ministry for Economic Affairs and Energy and the German Federal Ministry of Education and Research. This work was, in part, supported by the EU Horizon 2020 SSICLOPS project (grant agreement 644866)

Sonho, desafio e tecnologia: 35 anos de contribuições da Embrapa Suínos e Aves.

bitstream/item/105259/1/publicacao-1z33f2s.pdfProjeto: 11.11.11.111

LncRNA RUS shapes the gene expression program towards neurogenesis

The evolution of brain complexity correlates with an increased expression of long, noncoding (lnc) RNAs in neural tissues. Although prominent examples illustrate the potential of lncRNAs to scaffold and target epigenetic regulators to chromatin loci, only few cases have been described to function during brain development. We present a first functional characterization of the lncRNA LINC01322, which we term RUS for RNA upstream of Slitrk3. The RUS gene is well conserved in mammals by sequence and synteny next to the neurodevelopmental gene Slitrk3. RUS is exclusively expressed in neural cells and its expression increases during neuronal differentiation of mouse embryonic cortical neural stem cells. Depletion of RUS locks neuronal precursors in an intermediate state towards neuronal differentiation resulting in arrested cell cycle and increased apoptosis. RUS associates with chromatin in the vicinity of genes involved in neurogenesis, most of which change their expression upon RUS depletion. The identification of a range of epigenetic regulators as specific RUS interactors suggests that the lncRNA may mediate gene activation and repression in a highly context-dependent manner

Resonant flux motion and I-V -characteristics in frustrated Josephson junctions

We describe the dynamics of fluxons moving in a frustrated Josephson junction with p, d, and f-wave symmetry and calculate the I-V characteristics. The behavior of fluxons is quite distinct in the long and short length junction limit. For long junctions the intrinsic flux is bound at the center and the moving integer fluxon or antifluxon interacts with it only when it approaches the junction's center. For small junctions the intrinsic flux can move as a bunched type fluxon introducing additional steps in the I-V characteristics. Possible realization in quantum computation is presented.Comment: 21 pages, 8 figure

Switching between dynamic states in intermediate-length Josephson junctions

The appearance of zero-field steps (ZFS’s) in the current-voltage characteristics of intermediate-length overlap-geometry Josephson tunnel junctions described by a perturbed sine-Gordon equation (PSGE) is associated with the growth of parametrically excited instabilities of the McCumber background curve (MCB). A linear stability analysis of a McCumber solution of the PSGE in the asymptotic linear region of the MCB and in the absence of magnetic field yields a Hill’s equation which predicts how the number, locations, and widths of the instability regions depend on the junction parameters. A numerical integration of the PSGE in terms of truncated series of time-dependent Fourier spatial modes verifies that the parametrically excited instabilities of the MCB evolve into the fluxon oscillations characteristic of the ZFS’s. An approximate analysis of the Fourier mode equations in the presence of a small magnetic field yields a field-dependent Hill’s equation which predicts that the major effect of such a field is to reduce the widths of the instability regions. Experimental measurements on Nb-NbxOy-Pb junctions of intermediate length, performed at different operating temperatures in order to vary the junction parameters and for various magnetic field values, verify the physical existence of switching from the MCB to the ZFS’s. Good qualitative, and in many cases quantitative, agreement between analytic, numerical, and experimental results is obtained

Braveheart, a Long Noncoding RNA Required for Cardiovascular Lineage Commitment

Long noncoding RNAs (lncRNAs) are often expressed in a development-specific manner, yet little is known about their roles in lineage commitment. Here, we identified Braveheart (Bvht), a heart-associated lncRNA in mouse. Using multiple embryonic stem cell (ESC) differentiation strategies, we show that Bvht is required for progression of nascent mesoderm toward a cardiac fate. We find that Bvht is necessary for activation of a core cardiovascular gene network and functions upstream of mesoderm posterior 1 (MesP1), a master regulator of a common multipotent cardiovascular progenitor. We also show that Bvht interacts with SUZ12, a component of polycomb-repressive complex 2 (PRC2), during cardiomyocyte differentiation, suggesting that Bvht mediates epigenetic regulation of cardiac commitment. Finally, we demonstrate a role for Bvht in maintaining cardiac fate in neonatal cardiomyocytes. Together, our work provides evidence for a long noncoding RNA with critical roles in the establishment of the cardiovascular lineage during mammalian development.Damon Runyon Cancer Research Foundation (DRG 2032-09)Damon Runyon Cancer Research Foundation (DFS 04-12)European Molecular Biology Organization (Long-term Fellowship)National Heart, Lung, and Blood Institute. Bench to Bassinet Program (U01HL098179)National Heart, Lung, and Blood Institute. Bench to Bassinet Program (U01HL098188)Smith Family FoundationPew Charitable Trusts. Program in the Biomedical Science